Une approche pragmatique de l'analyse Alceste
نویسندگان
چکیده
منابع مشابه
Composants objets fiables : une approche pragmatique
Software reliability and correctness remain a major problem in industry. The goal of our study is to propose a software component design framework which promote the highest formal level compatible with economic, organizational and programmer skills constraints. The support of our approach is a model of self-documented and self-testable classes, that uses design-by-contract mechanisms, object-or...
متن کاملTest de conformité : une approche algébrique
In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the ...
متن کاملUne approche formelle de la reconfiguration dynamique
RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...
متن کاملUne approche générique de la réécriture
In this paper we study rewriting as an operational proof system in a generic (i.e. logic-independent) way. To do this, we propose simple conditions which allow to characterise logics were this kind of effective proof can be applied. This conditions are based on a proof tree property, that we call semi-commutation. We then show how to define the standard notion of termination, confluence and loc...
متن کاملFusion de données redondantes : une approche explicative
Résumé. Nous nous intéressons, dans le cadre du projet ANR Qualinca au traitement des données redondantes. Nous supposons dans cet article que cette redondance a déjà été établie par une étape préalable de liage de données. La question abordée est la suivante : comment proposer une représentation unique en fusionnant les "duplicats" identifiés ? Plus spécifiquement, comment décider, pour chaque...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Les cahiers internationaux de psychologie sociale
سال: 2005
ISSN: 0777-0707
DOI: 10.3917/cips.066.0015